More from this Author

Logic-Based Program Synthesis and Transformation

by María Alpuente (Editor)

Static Analysis

by María Alpuente (Editor), Germán Vidal, Germán Vidal-Oriola (Editor)

Logic-Based Program Synthesis and Transformation

by María Alpuente (Editor), María Alpuente (Editor)

Formal Methods for Industrial Critical Systems

by María Alpuente (Editor), Byron Cook (Editor), Christophe Joubert (Editor), María Alpuente (Editor)